(declare-fun a () Real)
(declare-fun b () Real)
(declare-fun c () Real)
(declare-fun d () Real)
(declare-fun l () Real)
(declare-fun e () Real)
(declare-fun f () Real)
(declare-fun g () Real)
(declare-fun h () Real)
(declare-fun ep () Real)
(assert (= false (forall ((i Real)) (let ((?j (- 2 e))(?k 0)) (distinct false (= true (distinct true (or (and (and (distinct (distinct false (and (and (and (and (= false (= false (distinct false (= g (+ (* d (/ (* c c) ?j)) (- (* (/ l e) 1) (+ 0 ep))))))) (= g 0)))) (= e 0))) (< a h)))) (= l 0)) (> h 0))) (or (or (distinct (= (= false (<= 0 i) (> i b)) (or (distinct (and (and (>= ?k 0) (< ?k h))) (>= f h)) (= 0 ep))) (or (= 2 2))))))))))
(check-sat)
